Riders to the Sea - opera by Ralph Vaughan Williams