Yes, extraction from "red mud" (a widely available waste product of aluminium extraction): https://kuleuven.sim2.be/wp-content/uploads/2018/02/Rodolfo_...

The resulting pollution level is effectively a cost choice.

You've not explained where all this hydrogen is supposed to come from and get transported.