Das US-Militär hat auf einen Öltanker im Golf von Oman gefeuert. Symbolbild.