The Fluorine, Chlorine, Bromine, and Iodine Contents of Volcanic Rocks in Japan