Masked gunmen kill a Libyan military police commander in Benghazi, the latest in a series of assassinations of high-profile security officials.