Grufarbetarestrejken i England , London den 13 okt.