Runways

Ther unway at La Paz is 13,123 feet. The altitude is 13,313, making it the highest commercially served airport in the world. Special training is required to fly into the airport.

Can somebody confirm the official name? Is it El Alto or JFK (El Alto)? I’ve seen both.