12. Petrolisthes ornatus (Paulson, 1875)

(Fig. 12)

Petrolisthes ornatus Paulson, 1875: 86, pl. 11, fig. 3.

Petrolisthes ornatus .— Lewinsohn 1969: 148.— Mustaquim 1972: 157, fig. 4.— Hogarth 1988: 1101.— Tirmizi et al. 1989: 15, figs. 9A–H, 10.

Material examined. 1 ɗ, 5 Ψ (ZSM 161/1), Red Sea, Gulf of Suez, Shadwan, Pola-Exp., 20 Feb. 1896. Distribution. Indian Ocean, including the Red Sea, south to Mozambique and Madagascar, north to the Gulf of Karachi.