Judge dismisses Coral Gables mayor’s defamation lawsuit against Spanish radio station