World War II veterans honored in D-Day ceremony on Battleship Texas