Arthur Peterson — British public servant (1916-1986)