Report: eBay’s Whitman to Retire