David Hawkins — British military personnel (1937-2019)