Original locality 'China Seas' [Cuming] erroneous, emended to Gulf of Suez by Herbert (2012) [details]