Samsung Galaxy S4 mini??
I've seen it advertised, but when handed the "S4 mini" I couldn't help but noticed that the back said "S3 mini" instead, still, the lady at the store claims it was an actual "S4 mini". This happened at 2 different locations.
Not yet available in the US because at about $400, it's still a pricey device (And not as feature rich, nor as handsome as the HTC One Mini, though, the S mini has more RAM)
Carriers opted for the better looks of the HTC One mini, as they thought that people would preffer it.
The S4 Mini will most likely be available in 6 months at $0.1 with at two year contract with AT&T.