A new species of coral-feeding nudibranch (Mollusca: Gastropoda) from the Gulf of Thailand