Philips, W., active 1845-1854, Chief of Police in Amsterdam