Combine facts and answer this: What was the 2016 population of the county where the National Maritime College of Ireland is located?
542,196