which hotel is part of the brand mandarin oriental?
(AND travel.hotel (JOIN travel.hotel.operating_brand m.012vxjsl))