sean red dead theme