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