what carriers use iphone 5s model 1457

I need to buy an unlocked Iphone 5s and seems like the only option would be the one fro Verizon. I live in Brazil and it seems like the Iphone 5s model that carriers will offer here is 1457.

How should I know if that is the model Verizon offers? If not, would it work in Brazil on a 4G network?

Does anybody know what should be the best solution to this?

Thanks and regards.