Hollywood pilot;: The biography of Paul Mantz