Prompt neutrino production in a proton beam-dump experiment