Das US-Militär hat nach Angaben von Donald Trump an Weihnachten tödliche Angriffe auf Kämpfer der Terrormiliz Islamischer Staat in Nigeria verübt.