Hotel tips: Our favorite 25 hotels at the Red Sea