The Decade of Mars: How the 2020s May Be a New Era of Red Planet Exploration