when did lee marvin die%3F