Does the gulf of Bahrain flow into the Persian gulf?