The World War II Documentary Music of Dimitri Tiomkin