El Charco de la Mula is a Mexican restaurant.