Mr. Mason was, well, a mason. Kind of a useless occupation on ship, but to be honest he was never really that good at it anyway. He was good at breaking bricks with that big hammer of his though, and how much difference is there really between bricks and human skulls?