The NASA Kepler mission. (2020)