¿En qué provincia se encuentra el municipio de El Bosque?