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