When was john mason born