霍尔木兹海峡到底有多大