100-year-old Battleship Texas springs massive leak