“The Empire Strikes Back” recording sessions with John Williams and the London Symphony Orchestra