IS leader killed in Nigeria in joint operation: Trump