(Aviación) Nombre del aeropuerto de Tenerife Sur.