Name from Andrew Oliver, in an email dated 10 June 2020. Andrew is the great-grandson of James Alexander Oliver b.1866 and onwards through his son Ivor J C Oliver b.1907.