Worldwide Server Market Revenue Declined 11.6% Year Over Year in the Second Quarter of 2019, According to IDC