(military) ship naming conventions in a nutshell