Smarter Navigation on NASA's Double Asteroid Redirection Test