US destroyer has ballistic missiles fired toward it, after responding to attack on commercial tanker