Just to nip the inevitable deluge of “I don’t trust an Israeli news source” comments in the bud, here’s an article from the Navy Times that cited statements by American and UN sources stating the attack took place. No casualties were reported by said US and UN sources.