Marine rettet neun französische Taucher in der Region um Phuket