Read this and answer the question

The mandolin has been used occasionally in rock music, first appearing in the psychedelic era of the late 1960s. Levon Helm of The Band occasionally moved from his drum kit to play mandolin, most notably on Rag Mama Rag, Rockin' Chair, and Evangeline. Ian Anderson of Jethro Tull played mandolin on Fat Man, from their second album, Stand Up, and also occasionally on later releases. Rod Stewart's 1971 No. 1 hit Maggie May features a significant mandolin riff. David Grisman played mandolin on two Grateful Dead songs on the American Beauty album, Friend of the Devil and Ripple, which became instant favorites among amateur pickers at jam sessions and campground gatherings. John Paul Jones and Jimmy Page both played mandolin on Led Zeppelin songs. The popular alt rock group Imagine Dragons feature the mandolin on a few of their songs, most prominently being It's Time. Dash Crofts of the soft rock duo Seals and Crofts extensively used mandolin in their repertoire during the 1970s. Styx released the song Boat on the River in 1980, which featured Tommy Shaw on vocals and mandolin. The song didn't chart in the United States but was popular in much of Europe and the Philippines.

Tommy Shaw sang and played the mandolin in which Styx song?
Boat on the River