encebollado, a la mexicana o con pimientos verdes.