Microsoft to Drop "Windows Phone," "Nokia" Names