I wouldn't be surprised if the name actually came up when they were (maybe jokingly, maybe not) thinking of naming it Sea Lion.