Tropical Storm Jose has formed in the Atlantic Ocean to the east of Hurricane Irma, a Category 5 monster plowing toward Antigua and perhaps Florida.