Dirk Tool (1841-1910)