Washington Post appoints first woman editor in its 144 history