El Pez Dorado is a restaurant.