an enchilada dish is topped with tomatoes and cilantro