A Ship for a Ship: US Says It Struck Three Iranian Oil Tankers After Attacks on Warships