provincia San José de Ocoa: