Wie viele Einwohner hatte die Stadt Cork Mitte des vierzehnten Jhds.?