Here is the WARN notice filed with the state of Texas back in March:
NOTICE_DATE: 2017-03-30
JOB_SITE_NAME: General Dynamics IT-Waco
COUNTY_NAME: McLennan
WDA_NAME: Heart of Texas WDA
TOTAL_LAYOFF_NUMBER: 840
LayOff_Date: 2017-05-31
WFDD_RECEIVED_DATE: 2017-03-30
CITY_NAME: Waco