Why the USS Texas flooded itself on D-Day