Federal officials gave the DPS officer an FAA number to call to initiate lost-aircraft procedures.
The FAA phone number for lost-aircraft procedures was given to the DPS officers by the federal officials.