San Diego makes mark on Mars 2020 rover