Oceanside High adds to Hall of Fame