Aeropuerto de San Antonio del Táchira fue renombrado como «General Cipriano Castro»