Arab coalition destroys Iranian-made Houthi mine in Red Sea