In September 1888, the border town of Paso del Norte formally adopted the name Juarez in honor of Benito Juarez, with Governor Lauro Carrillo credited as an early advocate of the change. The renaming was celebrated as a major civic and patriotic event, intended both to commemorate Mexican…