Original: The original name of the city of San José de Ocoa was El Maniel.
Simplified: Its old name was El Maniel.