Did George Lucas and Lewis Allen work in the same country?