when did willian prescott frost jr die?