U.S. guided-missile cruiser spotted crossing the Panama Canal after warships deployed to Venezuela