"The Shark Theme" (John Williams)