The strait, a critical energy and economic chokepoint connecting the Persian Gulf with the Arabian Sea through the Gulf of Oman, was open to international shipping before the war