War Office note on establishment of 42nd Regiment companies on Isle of Man