is hal is a government company