Royal Orchid is a Thai restaurant.