Dictionary of National Biography, 1885-1900/Randolph, Thomas (d.1332)

