The USS Texas is in depressingly bad shape right now. Earlier this month, it sprung a two-inch leak that gushed water for about two weeks before workers were able to repair it. The water seeped into parts of the ship that contained oil, so management had to call in a…