Should opening day of the baseball season be a national holiday?