The UK government announces the end of the miners’ strike, one of the longest and most bitter industrial disputes in British history.