Thermodynamic entropy of a many-body energy eigenstate