RIP: lyricist Hal David