US forces launch Christmas strike on ISIS in Nigeria, Trump says