A guy in a motorboat crippled the USS Cole. An old Iraqi fighter carrying an obsolete missile crippled the USS Stark. The USS VIncennes shot down an Iranian airliner killing more than 300 civilians. The American navy has an unfortunate history in the Persian Gulf region. Surely they don't want to include their aircraft carriers as part of this history.
Judge orders Jerusalem Gay Pride attacker to undergo psychiatric evaluation (Haaretz)