China allows U.S. warship to dock in Hong Kong