Mason, Philip, 1793-1868?