roasted halibut, veracruz sauce of tomatoes, olives, jalapeños