El Dragón de Oro is a restaurant.