Thomas Tidy — British Army general