20170803 business.international-business: ManTech Q2 earnings per share $0.40