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