Federal officials gave the DPS officer an FAA number for to call for to initiate lost-aircraft procedures .
Federal officials then gave the Texas DPS officer a number for to call at the FAA for to initiate lost aircraft procedures .