Ocean Beach Pier designated as San Diego Historic Resource