Local

Irma becomes Category 3 hurricane in east Atlantic