US air strike kills 13 ISIS fighters in Somalia - US army