NASA Mars 2020 Rover officially named “Perseverence”