State papers: Garda leaked information on British ambassador's holiday in Kerry

A document about a British ambassador's holiday was deliberately leaked by gardai and ended up in the IRA's possession, newly declassified state papers reveal.