Gauging Oracle's next steps after JEDI bid protest loss