I think they will keep Maria's Spanish ethnicity with the new name. I know they have broken that rule before, but Mindy and Melissa aren't very common in Spanish speaking countries (maybe Melissa a little), and Puerto Rico is among the most affected places.
I see most people saying Harold for Harvey, I think it will be the one.
Well, all around the world names are becoming more varied and what is common in Spanish-speaking countries is changing rapidly.
The most common girls' names starting with "M" for babies born in Puerto Rico in 2016 were, in order of prevalence:
That's from the Social Security administration list which counts every spelling as a separate name, which is why both Mikaela and Micaela are included.
The second most common boy's name for newborns in Puerto Rico in 2016 was Dylan, just to show how "untraditional" names now are there.
Here's the link to the Puerto Rico top 100 for 2016:
https://www.ssa.gov/oact/babynames/terr ... o2016.html