US reports first case of Ebola virus in Dallas, Texas