Compromise is the essence of democracy. In that spirit, I suggest the following: A serious official name, for example the HMS Stephen Hawking. The people's choi

Compromise is the essence of democracy. In that spirit, I suggest the following: A serious official name, for example the HMS Stephen Hawking. The people's choice, hand-painted in comic sans.