United States launches strikes on ISIS in Nigeria over attacks on Christians, Trump says