what was the military appellation of the city of tocumen international airport ?
conquistador