Bob
Call it Bob, is my vote.
I recall some comedy sketch where the guy reaches the Pacific Ocean and discovers it. It went something like:
“I hearby name this the Bob Johnson Ocean after me!
No - the Robert Johnson Ocean!
The Robert Ericson Johnson Ocean.
The Robert Ericson Johnson the Second Ocean.
Okay - to be specific - the Mister Robert Ericson Johnson the Second Ocean!”
Of course it got shortened to the Pacific.