Federal official them gave the DPS officer an FAA number to call to initiate lost-aircraft procedure them .
Federal official them then gave the Texas DPS officer a number to call at the FAA to initiate lost aircraft procedure them .