Yemen’s Mocha port halts operations after Houthi attacks, port director says