Militares portugueses estão bem após ataque no Mali