Yep, Wade. There's no "coincidence" here.
Nope. I guess John here hadn't heard that the Carnival Cruise Lines had come THIS close to namin' that baby the "S.S. Prince of Darkness" instead, but they just figured naming it what they did would entice a lot more old geezers to choose their ship to vacation on.
(...during which time of course they'd be walkin' up to others on board and tellin' 'em.."Yeah! Back in the day, I used to ride a Triumph TOO!")