Paulus Pool (1822-1914)