Ramos) y Ramon Mitra (padre del locutor Ramon Mitra, Jr.) cabildeó con éxito a asamblea para nombrar la ciudad después del presidente del titular.