Gulf of Thailand
Its distribution includes the South Chinese Sea (Malaysia, Gulf of Thailand), and the Indian Ocean (Sumatra, Java, Borneo).