I've written a longer reply elsewhere explaining to sudosysgen explaining why you are correct and there was never a US vaccine export ban, despite widespread claims otherwise. (I have to post it every couple of weeks on Hacker News.)