Encyclopedic Dictionary of the Bible: A Translation and Adaptation of Adrianus van den Born's Bijbels Woordenboek, Second Revised Edition, 1954-1957