Consider the Olympics dataset. The following pseudocode is executed:
```
silver_count = 0
gender_check = 0
while(Table 1 has more rows){
Read X from Table 1
if(X.Medal == 'Silver' and X.Host_country == 'USA'){
silver_count = silver_count + 1
if(X.Gender == 'M'){
gender_check = gender_check + 1
}
}
Move X to Table 2
}
```
Which of the following must be true after execution?