Trump’s Hormuz ship insurance facility has done $0 business