The armada of 10 US warships plus an Israeli and German battle vessel each, which transited the Suez Canal Friday, June 18, has reached the Persian Gulf,…