Gulf of Thailand
"H. brookii" is found in the Indian Ocean (Malaysia, Vietnam, western Indonesia: Sumatra, Java, Kalimantan) and the Gulf of Thailand.