Travelers to Mars would face a lifetime’s worth of radiation exposure