WRDSB school resource officer program comes to official end