Namor Vs Mister Miracle
vs
When was Namor bigger than a city?
You're mistaken.
That's when Namor shrunk a city.