Regardless of their size, naval tradition declares submarines to be called “boats” rather than “ships.”