The Wilmington campus of the Delaware Technical and Community College shall be named “Orlando J. George, Jr. Campus.”