I’m not a native Portuguese speaker so I wasn’t aware of that particular way of saying red. Thanks for sharing!

Vermelho

Edit: I’ve just read other comments offering more explanation than I did, but vermelho means red in Portuguese

Buenos Aires?

They still do but as far as I know the company Nothing was founded by the same guy who founded OnePlus, and I think he has nothing to do with OnePlus anymore