naam voor één van de politiemachten in Nederland, ontstaan in 1945 en afgeschaft sinds de Politiewet van 1993