Leidos + IBM: Building a smarter military supply chain with Red Hat