Masked gunmen kill 2 police in North Sinai