Would von Braun's Mars landers have worked?