Den Helder, R.C. boys' school