When Thatcher was the UK PM she increased the funding of the police services to fight the coal miners, did she increase the budgets for SIS and MI5 as well?