Comment by nickparker

There's a very enjoyable discussion in the comment section with my (brilliant) former colleague Max Fagin. He points out that Casey's first draft of this post neglects the curvature of Mars, and when you account for it Casey's model predicts the craft punching out the other side of the atmosphere.