NASA’s Lucy mission, the agency’s first to Jupiter’s Trojan asteroids, launched at 5:34 a.m. EDT