Royal Palm Beach Publix shooting highlights Florida's online threat law