How much money did John Harrison get?