A crewed mission to Mars would rank among the most complex and costly undertakings in human history—and US President Donald Trump has vowed to make it a national priority.