Should Major League Baseball recognize Madison Bumgarner's no-hitter?