Christopher Ironside — British artist, engraver, coin designer (1913-1992)