特朗普政府正在考量针对马里的军事行动选项。