Boys reel in 700-pound shark off Florida coast