The mariel boatlift and the insane people arrived on Miami?

Mariel boatlift:

The Mariel boatlift, also known as the Mariel exodus or simply Mariel, was a mass migration of Cubans from Cuba to the United States in 1980. The lift was named after the Cuban port of Mariel, from which most of the migrants departed.

Insane people:

There is no evidence to support the claim that insane people arrived in Miami during the Mariel boatlift.