Fox: Mamdani officially wins NYC Dem primary by 12 points over Cuomo, who's staying in the race for now