AFAIK you are correct except perhaps that US and UK have exported 0 vaccines, though the number is probably quite small relatively speaking, and certainly smaller than the EU (foolishly) expected.