What is a Death in Service Benefit? A Guide for UK Doctors