Alan Turing's 1950s Tiger Stripe Theory Proved