The sensitivity of a climate model to numerical mixing in its ocean component