What was the name of the last U.S. commissioned battleship that was shown in a 1945 World War ll documentary?