richard mann johnson