Photos: D-Day ceremony on Battleship Texas