Naval Academy pool renovation is complex, rewarding