First LNG shipment exits Persian Gulf via Strait of Hormuz since US-Israel war against Iran began in March, fragile Washington Tehran ceasefire still holds