Washington Post launches personalized news aggregator 'Personal Post'