John Pool was a "Hero of America"