Thailändische Marine rettet gestrandete Touristen aus Phuket