News | Wed May 23, 2007 8:41am EDT

Nine U.S. warships in Gulf for show of force