What nationality was the film score composer who worked on a 2017 World War II film by Christopher Nolan?