Denmark's top military chief dismissed after incident involving ship deployed to Red Sea