With the names...four Houthi officers were killed