The density of cometary protons upstream of comet Halley's bow shock