A document about a British ambassador’s holiday was deliberately leaked by gardaí and ended up in the IRA’s possession, newly declassified state papers have revealed.