The July crisis 1972: general strike against the Tories?