Feature films starring John von Neumann