Coast Guard rescues a dozen migrants after boat washes up in Orange County