FAA Tasks Leidos with GPS-augmenting WAAS Satellite for $117M