U.S. intelligence helped Ukrainians sink Russian battleship