He was the subject of a little respectful ribbing. But he was, of course, the captain, which meant he had to do lots of the ribbing himself.

Another Great Day at Sea: Life Aboard the USS George H.W. Bush