¿En qué golfo se encuentra el mar de Andamán?