WATCH: President Biden celebrates Cinco de Mayo at DC taqueria