Ivor Thomas (British Army officer)