how many people in 2010 lived in the city that is home to north mankato public school ?
13,394