Jet Propulsion Laboratory Development Ephemeris — ephemeris produced at the Jet Propulsion Laboratory for spacecraft navigation and astronomy