Should the third Monday in February be a national holiday?