U.S. guided-missile cruiser crosses Panama Canal, warships deployed to Venezuela