Do Warships need a name?

In section -10-, Build Ships, new warships should be given names.