pub.172 Red Sea and Persian Gulf