I don't have the source in mind, but from the time when i first heard/read of the bombardment i always thought it was a Texas. Not sure why. But i remember being confused when i later heard of those small ships.
The number of Texas battleships in service is low. I know the Falcon ship looks like the 2750er art. I'm pretty sure the Prince Eugen was also never upgraded - but it is unlikely to see that ship in the IS. All others are by my knowledge 3057er art.