Anthony Johan Lucas Stratenus — Dutch politician and diplomat (1807–1872)