Consumption Externality+Equilibrium Underinsurance