Empresas alegam dificuldades para citar o ministro do STF em ação movida na Flórida; AGU pediu o encerramento do processo