length. It has stops in Boca Raton, Delray Beach, Boynton Beach, Lake Worth Beach, West Palm Beach, and Mangonia Park. The national intercity train system, Amtrak, offers the Silver Meteor and the Silver Star'' in West Palm Beach and Delray Beach. Brightline connects Palm Beach County to its southward neighboring counties of Broward and Dade via their station located in downtown West Palm Beach, with stops in both Fort Lauderdale and Miami. Airports Palm Beach International Airport Palm Beach County Park Airport North Palm Beach County General Aviation Airport Boca Raton Airport Palm Beach County Glades Airport Public transit PalmTran provides bus service throughout Palm Beach county. Seaport The Port of Palm Beach is located in Riviera Beach, where Celebration Cruise Line operates 2-day cruises to the Bahamas. Trails The Lake Okeechobee Scenic Trail, a segment of the Florida National Scenic Trail, passes through the county. Education Primary and secondary schools All of Palm Beach County is served by the School District of Palm Beach County. As of 2006, it was the fourth largest school district in Florida and the 11th largest school district in the United States. As of August 2006, the district operated 164 schools, including 25 high schools, and, as of July 22, 2006, had an additional 33 charter schools, with seven more scheduled to open in August 2006. Newsweek listed three Palm Beach County high schools in the top 50 schools in the list 1200 Top U.S. Schools - Atlantic Community High School, Suncoast High School and the Alexander Dreyfoos School of the Arts, all public magnet schools. Private schools in the county include American Heritage School, Cardinal Newman High School, Jupiter Christian School, The King's Academy, The Benjamin School, Oxbridge Academy, Palm Beach Day Academy, Pope John Paul II High School, St Andrew's School and Weinbaum Yeshiva High School. Colleges and universities Florida Atlantic University Florida International University Lynn University Nova Southeastern University South University Palm Beach Atlantic University Palm Beach State College Keiser University Roosevelt Junior College (closed) Southeastern College Public libraries Palm Beach County is served by the Palm Beach County Library System, established in 1967 through a Special Act of the Florida Legislature, and operates as a department of county government. It is currently made up of 17 library branches, as well as a bookmobile which travels to more than 40 stops each month. As Palm Beach County continues to see population