But in that case, they were deciding not to make an exception to the naming convention and they hardly did so "at the last second". It'd also be more of a dick move since they'd have been messing with a choice from a different administration which wasn't the case with the Truman. Last, it's...