Most books pulled from Naval Academy library are back on the shelves in latest DEI turn