Whomever brought it would very possibly have done the right thing and gotten vaccinated recently, but the live attenuated polio vaccine very occasionally leads to shed attenuated polio virus reverting to full strength.
EDIT: It is possible the import could have come from an unvaccinated person too, having gotten it from someone who has been vaccinated. But that the virus is vaccine-derived means the ultimate source is someone who got the vaccine.
BTW we have a case study unfolding real time on restricting people’s travel based on vaccination status. As the COVID-19 vaccine does not prevent transmission, infection or spread, it was a complete disaster. Meanwhile unvaccinated people with natural immunity who don’t spread were unfairly punished for noncompliance.