Three ships attacked in Strait of Hormuz, maritime agencies say