Workers' compensation for law enforcement related post traumatic stress disorder