Is there a master roster of ships?

[Ludwig van Hursh]

I'm curious if there like a master roster of ships, namely warships, in the game that every ship we sink the campaign is removed from the roster, i.e. if I were to sink a Yamato type battleship and there being two (Yamato and Musachi) would there now only be one Yamato type roaming around?

Or does the game just reduce the number of ship types you can find based on the time in the campaign even if you sunk the ships or not?

I hope this makes sense.