Stone Ridge Gator at Katie Ledecky party this afternoon