Highlights of the North Carolina public school budget [2020 : May]